Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
61	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
62	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-12-19 08:17:21 Theory of computation Goto Mathematics Computing Computer science Recursion Computability theory Primitive recursive function
63	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
64	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1, and Eran Yahav2 1 ETH Zurich {andrei.dan,martin.vechev}@inf.ethz.ch 2 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-05-09 12:11:08 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function Interpretation Mathematical logic Logic Mathematics
65	Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium Add to Reading List Source URL: stijnvermeeren.be Language: English - Date: 2010-07-15 09:29:15 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Function Interpretation First-order logic Mathematical logic Mathematics Logic
66	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
67	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
68	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
69	arXiv:1111.4405v1 [math.AG] 18 Nov[removed]TRANSFER PRINCIPLES FOR INTEGRABILITY AND BOUNDEDNESS CONDITIONS FOR MOTIVIC EXPONENTIAL FUNCTIONS RAF CLUCKERS, JULIA GORDON, AND IMMANUEL HALUPCZOK Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-27 22:37:41 Fourier analysis Fourier transform Joseph Fourier Exponential function Function Presburger arithmetic Primitive recursive function Mathematical analysis Mathematics Functions and mappings
70	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic

UPDATE